Two roads to the successor axiom
نویسندگان
چکیده
منابع مشابه
a synchronic and diachronic approach to the change route of address terms in the two recent centuries of persian language
terms of address as an important linguistics items provide valuable information about the interlocutors, their relationship and their circumstances. this study was done to investigate the change route of persian address terms in the two recent centuries including three historical periods of qajar, pahlavi and after the islamic revolution. data were extracted from a corpus consisting 24 novels w...
15 صفحه اولTwo-Stage Lotteries without the Reduction Axiom
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive o...
متن کاملthe evaluation and comparison of two esp textbooks available on the iranian market for teaching english to the students of medicine
abstract this study evaluated and compared medical terminology and english for the students of medicine (ii) as two representatives of the textbooks available on the iranian market for teaching english to the students of medicine. this research was performed on the basis of a teacher’s and a number of students’ attitudes and the students’ needs analysis for two reasons: first, to investigate...
15 صفحه اولTwo mast cell roads diverge
Sarcoidosis is a mysterious, long-recognized disease characterized by the formation of tuberculosis-like granulomas in the lungs. The mystery of sarcoidosis stems from both its unknown etiology and its paradoxical effects on the immune system. The disease has been attributed to a hyperactivation of CD4 T helper type 1 cells that infiltrate the lungs but, in patients with sarcoidosis, these very...
متن کاملA Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor
The finite satisfiability problem of two-variable logic extended by a linear order successor and a preorder successor is shown to be undecidable. The decidability of the finite satisfiability problem of two-variable logic extended by orders and preorders as well as their corresponding successor relations has been currently investigated by several papers [2, 5, 3]. This short note extends [3] wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2018
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-018-1752-5